formal rule

un. 形式规则